Daggers, Kernels, Baer *-semigroups, and Orthomodularity
نویسنده
چکیده
We discuss issues related to constructing an orthomodular structure from an object in a category. In particular, we consider axiomatics related to Baer *-semigroups, partial semigroups, and various constructions involving dagger categories, kernels, and biproducts.
منابع مشابه
Quantum Logic in Dagger Categories with Kernels
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categori...
متن کاملQuantum Logic in Dagger Kernel Categories
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categori...
متن کاملar X iv : 1 40 1 . 11 55 v 1 [ qu an t - ph ] 6 J an 2 01 4 Two - valued states on Baer ∗ - semigroups
In this paper we develop an algebraic framework that allows us to extend families of two-valued states on orthomodular lattices to Baer ∗semigroups. We apply this general approach to study the full class of two-valued states and the subclass of Jauch-Piron two-valued states on Baer ∗-semigroups.
متن کاملThe Bergman property for semigroups
In this article, we study the Bergman property for semigroups and the associated notions of cofinality and strong cofinality. A large part of the paper is devoted to determining when the Bergman property, and the values of the cofinality and strong cofinality, can be passed from semigroups to subsemigroups and vice versa. Numerous examples, including many important semigroups from the literatur...
متن کاملGenerating Countable Sets of Surjective Functions
We prove that any countable set of surjective functions on an infinite set of cardinality אn with n ∈ N can be generated by at most n/2 + 9n/2 + 7 surjective functions of the same set; and there exist n/2 + 9n/2 + 7 surjective functions that cannot be generated by any smaller number of surjections. We also present several analogous results for other classical infinite transformation semigroups ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Philosophical Logic
دوره 42 شماره
صفحات -
تاریخ انتشار 2013